Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
321	New York State Continuing Legal Education Board 25 Beaver Street, Room 888, New York, NY 10004 • Phone: ([removed]Fax: ([removed] • W eb site: www.nycourts.gov/attorneys/cle • E-m ail: cle@ courts.state.ny Add to Reading List Source URL: www.nycourts.gov Language: English - Date: 2011-07-14 11:57:13 Legal education United States law Verification and validation CD+G Verification ALGOL 68 Software engineering Systems science Systems engineering Programming language theory Continuing legal education
322	PDF Document Add to Reading List Source URL: www.clevelandfed.org Language: English - Date: 2013-11-12 11:26:34 Asymmetric information Business cycle Corporate finance Financial accelerator Costly state verification Dynamic stochastic general equilibrium General equilibrium theory Economic model Insurance Macroeconomics Economics New Keynesian economics
323	14 Verification and advanced co-operative security Nancy Gallagher ○ Add to Reading List Source URL: www.vertic.org Language: English - Date: 2010-12-17 06:48:10 International relations theory Nuclear Non-Proliferation Treaty Comprehensive Nuclear-Test-Ban Treaty The Co-operative Group Disarmament National security International security United Nations Security Council Resolution Nuclear program of Iran International relations Nuclear proliferation Arms control
324	“Multilateral verification has evolved drastically over the past 25 years. The transition from theory to reality has provided lessons and experiences for all stakeholders.” VERTIC BRIEF • 15 • AUGUST 2011 Add to Reading List Source URL: www.vertic.org Language: English - Date: 2011-08-16 05:49:23 International security VERTIC Comprehensive Nuclear-Test-Ban Treaty Organization Verification and validation Comprehensive Nuclear-Test-Ban Treaty United Nations Security Council Resolution Patricia Lewis Fissile Material Cut-off Treaty Biological Weapons Convention International relations Human rights instruments Arms control
325	Microsoft Word - Final DeathSpecs[removed]doc Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2012-07-17 09:13:45 Database Database theory Recommender system Specification Verification and validation Death certificate Evaluation Database management systems Technology Science
326	EMSD Technology Conference CxP Software Topics EMSD Technology Exchange Software Topics ! CxP Software and Autonomy Technology Needs, Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-04-30 20:21:42 Pharmaceutical industry Validity Science Systems theory Software testing Verification and validation Reliability engineering Validation Verification Systems engineering Software quality Systems science
327	Proof Reuse for Deductive Program Verification Bernhard Beckert and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2014-04-20 12:37:51 Automated theorem proving Theoretical computer science Proof theory Model theory Mathematical proof KeY Reuse Theorem First-order logic Logic Mathematics Mathematical logic
328	Mine Safety and Health Administration (MSHA) – Standard Application Procedure for Approval of Flame-Resistant Brattice Cloth and Ventilation Tubing Add to Reading List Source URL: www.msha.gov Language: English - Date: 2014-07-18 15:57:49 Human behavior Brattice Mine ventilation Specification Attachment theory Mine Safety and Health Administration Verification and validation Behavior Technology Quality
329	Personal Relationships, [removed]), 71–79. Printed in the United States of America. Copyright © 2010 IARR The supermom trap: Do involved dads erode moms’ self-competence? TAKAYUKI SASAKI,a NANCY L. HAZEN,b AND WILLIA Add to Reading List Source URL: homepage.psy.utexas.edu Language: English - Date: 2010-03-23 17:17:22 Self Child care Self-concept Parenting Self-esteem Self-verification theory Conceptions of self Social psychology Mind
330	2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Turing Award laureates Formal methods Joseph Sifakis Cybernetics Systems theory Component-based software engineering Model checking Turing Award Amir Pnueli Computer science Science Software engineering

UPDATE